Tootfinder

This https://arxiv.org/abs/1906.08691 has been replaced.
link: https://scholar.google.com/scholar?q=a

ENCORE: Ensemble Learning using Convolution Neural Machine Translation for Automatic Program Repair
Automated generate-and-validate (G&V) program repair techniques typically rely on hard-coded rules, only fix bugs following specific patterns, and are hard to adapt to different programming languages. We propose ENCORE, a new G&V technique, which uses ensemble learning on convolutional neural machine translation (NMT) models to automatically fix bugs in multiple programming languages. We take advantage of the randomness in hyper-parameter tuning to build multiple models that fix different bug…

New article out with @…!
"Live Notation for Patterns of Movement"
If computer programming languages can be used to control the movement of robots, they can therefore be used as choreographic notations. Weaving, dance, and musical forms can be taken as places of inspiration for this, bringing together patterns, computation, movement, and notation in live telem…

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
Ian McCormack, Joshua Sunshine, Jonathan Aldrich
https://arxiv.org/abs/2404.11671

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
The Rust programming language restricts aliasing and mutability to provide static safety guarantees, which developers rely on to write secure and performant applications. However, Rust is frequently used to interoperate with other languages that have far weaker restrictions. These languages support cyclic and self-referential design patterns that conflict with current models of Rust's operational semantics, representing a potentially significant source of undefined behavior that no current tool…